Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
131	From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-05-09 01:33:31 Probability Amyloidosis Logic Formal epistemology Non-classical logic Probabilistic logic Automated planning and scheduling PRNP Markov decision process Planning Domain Definition Language PP
132	Implement the method for finding the status of aqua pond and uncertainty handling in Aqua Data Sets using Rough Set Theory Suresh Babu Chandanapallia, Dr. E. Sreenivasa Reddy b , Dr. D. Rajya Lakshmi c a Associate Profe Add to Reading List Source URL: www.urisa.org Language: English - Date: 2016-05-12 15:30:59 Mathematics Logic Theoretical computer science Probability Rough set Fuzzy logic Expected value Fuzzy set Dominance-based rough set approach
133	Ensuring Agent Properties under Arbitrary Sequences of Incoming Events Stefania Costantini1 , Pierangelo Dell’Acqua2 , Lu´ıs Moniz Pereira3 , and Arianna Tocchio1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-06-08 10:41:46 Philosophy Logic Theoretical computer science Temporal logic Logic in computer science Linear temporal logic Modal logic Causality Formal verification
134	Florida State University, Department of Political Science POS 3930: Applications of Political Science \| Monday through Friday: 2:00 – 3:15 pm \| HCB 0212 Instructors: Casey Delehanty \| \| Bellamy 231 \| Offi Add to Reading List Source URL: www.caseydelehanty.com Language: English - Date: 2015-05-19 09:15:55 Education Distance education Video game genres Operations research Simulation Online education Scientific modelling Logic simulation Blackboard system Blackboard Inc. Educational technology Military simulation
135	Single-Pass List Partitioning Leonor Frias ∗ Universitat Polit`ecnica de Catalunya Dep. de Llenguatges i Sistemes Inform`atics Jordi Girona Salgado, Barcelona, Spain Add to Reading List Source URL: algo2.iti.kit.edu Language: English - Date: 2008-05-15 11:50:35 Mathematics Computational complexity theory Dynamic programming Discrete mathematics Combinatorics Analysis of algorithms Algorithm Mathematical logic Theoretical computer science Time complexity FisherYates shuffle Longest increasing subsequence
136	Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics Frank Loebe1,2 and Heinrich Herre2 1 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-07 11:37:57 Ontology Semantic Web Information science Academia Logic Technical communication Computing Semantics Formal ontology Web Ontology Language Mereology
137	pects of conquest, that is, "frontiers" of European expansion and the accompanying destruction of Native life and culture. But this does not exhaust the character of the border. If we take McDermott seriously, experience Add to Reading List Source URL: american-philosophy.org Language: English - Date: 2009-06-24 14:01:07 Philosophy Charles Sanders Peirce Pragmatism Philosophy of science Logic Philosophical logic Pragmatic theory of truth American philosophy Truth Pragmatic maxim Empiricism Inquiry
138	An Introduction to Logical Relations Proving Program Properties Using Logical Relations Lau Skorstengaard Contents Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2016-06-30 02:06:10 Theoretical computer science Mathematical logic Computer science Logic in computer science Lambda calculus Models of computation Proof theory Computability theory Simply typed lambda calculus Natural deduction CurryHoward correspondence
139	Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-18 05:58:42 Mathematical logic Logic Type theory Theoretical computer science Lambda calculus Dependently typed programming Proof theory Logic in computer science CurryHoward correspondence Dependent type System F Simply typed lambda calculus
140	ACQUIRING APPROXIMATE REPRESENTATIONS OF SOME SPATIAL RELATIONS Vincent B. Robinson (NET) Department of Surveying Engineering The University of Calgary Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:16:48 Logic Mathematical logic Logic in computer science Artificial intelligence Fuzzy logic Philosophy Non-classical logic Fuzzy concept Fuzzy set Causality Boolean algebra

UPDATE